es-triggers(es;i;ds;conds)(e)
== if kind(e)  dom(conds)  loc(e) = i
== then '(conds(kind(e)).2)((state when e),val(e))'
== else inr  
== fi  

latex

---

clarification:

es-triggers(es;i;ds;conds)(e)
== if fpf-dom(KindDeq; es-kind(es; e); conds)  es-loc(es; e) = i
== then '(condsKindDeq(es-kind(es; e)).2)(es-state-when(es;e),es-val(es; e))'
== else inr  
== fi  

latex

Definitions	x.A(x), if b then t else f fi , p  q, x  dom(f), a = b, loc(e), f(a), t.2, f(x), KindDeq, kind(e), (state when e), val(e), inr x ,
FDL editor aliases	es-triggers